package tr.edu.ege.kipler.satisfiability.container;

import tr.edu.ege.kipler.common.Copyable;
import tr.edu.ege.kipler.satisfiability.completion.rules.RuleLogger;

/**
 * 
 * @author İnanç Seylan
 *
 */
public interface WcsData extends Copyable<WcsData> {
	public RuleLogger getLogger();

	public DependencyManager getDependencyManager();
	
	public ModifiedIndividualCollection getModifiedIndividuals();
}
